The glossary is being gradually proof checked, but currently has many typos and misspellings.
A knowledge representation is complete if it can represent all of the phenomena, facts and rules that are important for a domain. Completeness is one of the facets of expressiveness.
